gdbsx: send virq to guest if gdbsx_vcpu_event is not active
authorMukesh Rathor <mukesh.rathor@oracle.com>
Mon, 11 Jun 2012 14:11:58 +0000 (15:11 +0100)
committerMukesh Rathor <mukesh.rathor@oracle.com>
Mon, 11 Jun 2012 14:11:58 +0000 (15:11 +0100)
commit073d4837444dc3b7480a463945317c2b6c9110c5
tree6cbc4549240874e2165761699a66da974f6abf05
parenta485293145965f49900e4116cdd5810f64b819b5
gdbsx: send virq to guest if gdbsx_vcpu_event is not active

gdbsx got broken along the way. During domain pause, don't send
VIRQ_DEBUGGER to guest if gdbsx is active on that guest.

Signed-off-by: Mukesh Rathor <mukesh.rathor@oracle.com>
Committed-by: Keir Fraser <keir@xen.org>
xen/common/domain.c